Languages under substitutions and balanced words
نویسندگان
چکیده
منابع مشابه
Languages under substitutions and balanced
= zu2(i + k) for all i E I,. If I = Z we call w a Z-word or a bi-infinite word. If I is finite we call x finite and its length Ixl is defined as The usual notation for a finite word of length n is x = xi ... zn where all xi E {a, &}. We write {a, b}* for the collection of finite words and {a, b~+ for the nonempty finite words. (The empty word will be denoted throughout by e). The concatena...
متن کاملBalanced Words and majorization
Write |w| = m, the length of w, and |w|1 = card({1 ≤ i ≤ m : wi = 1}) its 1-length. Define the cyclic shift σ : {0, 1}m → {0, 1}m by σ(w1 . . . wm) = w2 . . . wmw1. A cyclic subword of w is any length-q prefix of some σi−1(w), 1 ≤ i, q ≤ m. To any word w = w1 . . . wm we associate its orbit O(w), the vector O(w) = (O1(w), . . . ,Om(w)) consisting of the iterated cyclic shifts w, σ(w), . . . , σ...
متن کاملExplicit Substitutions and Programming Languages
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get finer properties with respect to gradual implementations of substitutions as effectively done in runtimes of programming languages. But the theory of explicit substitutions has some defects such as non-confluence or the n...
متن کاملm-Balanced words: A generalization of balanced words
Consider to construct an in5nite sequence, or an in5nite word, from a 5nite set of letters such as each letter is distributed with “good balance,” that is, as evenly as possible, when the densities of letters are provided. Such words have been applied to many scheduling and routing problems in various areas. Concerning the balancedness of words, the notions of regularity and balanced words have...
متن کاملBalanced Grammars and Their Languages
Balanced grammars are a generalization of parenthesis grammars in two directions. First, several kind of parentheses are allowed. Next, the set of right-hand sides of productions may be an infinite regular language. XML-grammars are a special kind of balanced grammars. This paper studies balanced grammars and their languages. It is shown that there exists a unique minimal balanced grammar equiv...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal de Théorie des Nombres de Bordeaux
سال: 2004
ISSN: 1246-7405
DOI: 10.5802/jtnb.438